/**
* @file debugdisplay.h
* Allow displaying debugging information on VGA monitor.
*
* Copyrights 2010 Michal Saman, m.saman@designplus.cz.
* This source code is release under the Apache License 2.0.
* http://www.apache.org/licenses/LICENSE-2.0
*/

#ifndef _DEBUGDISPLAY_H
#define _DEBUGDISPLAY_H
 
#include <stdint.h>

#define COLS 80
#define LINES 25
#define max_buffer 255

extern void DebugClrScr(const unsigned short c);
extern void DebugPutc(unsigned char c);
extern void DebugPuts(char *str);
extern void DebugScrollLine();
extern void DebugGetCursorPos();
extern int DebugPrintf(const char *str, ...);
extern unsigned DebugSetColor(const unsigned c);
extern void DebugGotoXY(unsigned x, unsigned y);
extern void DebugResetX();
extern uint32_t DebugGetX();
extern uint32_t DebugGetY();

#endif
